The category of networks of ontologies

The semantic web has led to the deployment of ontologies on the web connected through various relations and, in particular, alignments of their vocabularies. There exists several semantics for alignments which make difficult interoperation between different interpretation of networks of ontologies. Here we present an abstraction of these semantics which allows for defining the notions of closure and consistency for networks of ontologies independently from the precise semantics. We also show that networks of ontologies with specific notions of morphisms define categories of networks of ontologies. Key-words: Network of ontologies, Ontology alignment, Alignment semantics, Inconsistency, Distributed system semantics, Category, Pullback La catégorie des réseaux d’ontologies Résumé : Le web sémantique a suscité le déploiement d’ontologies sur le web liées par diverses relations, et, en particulier, l’alignement de leur vocabulaire. Il existe différentes sémantiques pour les alignments qui rendent difficile l’interopération entre différentes interprétations des réseaux d’ontologies. Ce rapport présente une abstraction de ces sémantiques qui permet de définir les notions de clôture et de consistance de réseaux d’ontologies indépendamment de leur sémantique précise. On montre aussi que les réseaux d’ontologies dotés d’homomorphismes spécifiques définissent des catégories de réseaux d’ontologies. Mots-clés : Réseau d’ontologies, Alignement d’ontologies, Sémantique des alignements, Inconsistance, Sémantique des systèmes distribués, Catégorie, Produit fibré The category of networks of ontologies 3